A Stochastic Broadcast π-Calculus
نویسندگان
چکیده
In this paper we propose a stochastic broadcast π-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant. Therefore, there is no need to determine the joint synchronization rates. We also take immediate transitions into account which is useful to model behaviors with no impact on the temporal properties of a system. Since immediate transitions may introduce non-determinism, we will show how these non-determinism can be resolved, and as result a valid CTMC will be obtained finally. Also some practical examples are given to show the application of this calculus.
منابع مشابه
A Stochastic Broadcast Pi-Calculus
In this paper we propose a stochastic broadcast π-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant. Therefore, there is no need to determine the joint synchronization rates. We also take immediate transitions into account which is useful to model behaviors with no impact on the temporal properties of a system. Since...
متن کاملThe Attributed Pi-Calculus with Priorities
We present the attributed π-calculus for modeling concurrent systems with interaction constraints depending on the values of attributes of processes. The λ-calculus serves as a constraint language underlying the π-calculus. Interaction constraints subsume priorities, by which to express global aspects of populations. We present a nondeterministic and a stochastic semantics for the attributed π-...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملTuning Temporal Features within the Stochastic π-Calculus
The stochastic π-calculus is a formalism that have been shown of interest for modelling systems where the stochasticity and the delay of transitions are important features, such as the biochemical reactions. Commonly, duration of transitions within stochastic π-calculus models follow an exponential random variable. Underlying dynamics of such distributed models are expressed in terms of continu...
متن کاملA stochastic π-calculus model of MHC class I antigen presentation
3 Modelling 5 3.1 Basic model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3.1.1 Stochastic π-calculus implementation . . . . . . . . . . . . 5 3.1.2 Model parameters and discussion . . . . . . . . . . . . . . 8 3.1.3 Simulation results . . . . . . . . . . . . . . . . . . . . . . 10 3.2 Flytrap model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 3.2.1 Stochastic ...
متن کامل